$\forall$$r$:CRng, $a$:($\mid$$r$$\mid\rightarrow\mathbb{P}$). $a$ Ideal of $r$ $\in$ $\mathbb{P}$